Source Transformation for MATLAB Automatic DifferentiationKHARCHE, Rahul V; FORTH, Shaun A.Lecture notes in computer science. 2006, pp 558-565, issn 0302-9743, isbn 3-540-34379-2, 8 p.Conference Paper

Design rewiring using ATPGVENERIS, Andreas; ABADIR, Magdy S; AMIRI, Mandana et al.Proceedings - International Test Conference. 2002, pp 223-232, issn 1089-3539, isbn 0-7803-7542-4, 10 p.Conference Paper

Mise en œuvre de patterns de conception : un outil = Implementation of Design Patterns : a toolSunyé, Gerson; Perrot, Jean-François.1999, 182 p.Thesis

Improved interval constraint propagation for constraints on partial derivativesPETROV, Evgueni; BENHAMOU, Frédéric.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 2, 1097-1105Conference Paper

An extensible compiler for creating scriptable scientific softwareBEAZLEY, David M.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 2, 824-833Conference Paper

Affective natural language generationDE ROSIS, Fiorella; GRASSO, Floriana.Lecture notes in computer science. 2000, pp 204-218, issn 0302-9743, isbn 3-540-41520-3Conference Paper

Making automatic differentiation truly automatic: Coupling PETSc with ADICHOVLAND, Paul; NORRIS, Boyana; SMITH, Barry et al.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 2, 1087-1096Conference Paper

FORMALISME DE MODÉLISATION DES SYSTÈMES DYNAMIQUES HYBRIDES = FORMALISM OF MODELLING HYBRID DYNAMICAL SYSTEMSDjenidi, Rachid; Nikoukhah, Ramine.2001, 235 p.Thesis

Reducing the memory requirement in reverse mode automatic Differentiation by solving TBR flow equationsNAUMANN, Uwe.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 2, 1039-1048Conference Paper

Aerosol Generation by Modern Flush ToiletsJOHNSON, David; LYNCH, Robert; MARSHALL, Charles et al.Aerosol science and technology (Print). 2013, Vol 47, Num 7-9, pp 1047-1057, issn 0278-6826, 11 p.Article

Plasma rotation during spheromak formationPEYSER, T; GOLDENBAUM, G. C.Physical review letters. 1988, Vol 61, Num 8, pp 955-958, issn 0031-9007Article

Génération automatique de jeux de tests et contraintes d'utilisation d'un logiciel = Automatic generation of test sets and software use constraintsPRINTZ, Jacques; PRADAT-PEYRE, Jean-Francois.Génie logiciel (1995). 2004, Num 68, pp 45-52, issn 1265-1397, 8 p.Article

Le problème des générationsMANHEIM, K; MAUGER, G; PERIVOLAROPOULOU, N et al.1990, 125 p., isbn 2-091-90409-0Book

A note on the generation timeHERNANDEZ-SUAREZ, Carlos M.Oikos (København). 2011, Vol 120, Num 1, pp 159-160, issn 0030-1299, 2 p.Article

Automatic generation of model checking properties and constraints from production based specificationJAHANPOUR, M. S; AIT MOHAMED, O.MWSCAS : Midwest symposium on circuits and systems. 2004, isbn 0-7803-8346-X, 3Vol, Vol III, 435-438Conference Paper

Multitone signals with low crest factorBOYD, S.IEEE transactions on circuits and systems. 1986, Vol 33, Num 10, pp 1018-1022, issn 0098-4094Article

Du duel à l'alliance d'équipe par le coachingBAILLET, Christine.SOINS. CADRES. 2013, Num 88, pp 34-35, issn 0183-2980, 2 p.Article

Helping the composition of help contentsSILVEIRA, Milene; DIAS, Maria Carmelita; QUENTAL, Violets et al.Lecture notes in computer science. 2002, pp 171-174, issn 0302-9743, isbn 3-540-43829-7, 4 p.Conference Paper

Les jeunes et la retraite : colloque organisé par le Conseil d'Orientation des Retraites : 6 décembre 20112011, 155 p., isbn 9782110088604Book

Evolution of indefinite generation lengthsDONCASTER, C. Patrick.Biological Journal of the Linnean Society. 2003, Vol 80, Num 2, pp 269-280, issn 0024-4066, 12 p.Article

A Technique for Code Generation of USN Applications Based on Nano-QplusLEE, Kwangyong; LEE, Woojin; KIM, Juil et al.Lecture notes in computer science. 2006, pp 902-909, issn 0302-9743, isbn 3-540-34379-2, 8 p.Conference Paper

Three-dimensional constrained boundary recovery with an enhanced Steiner point suppression procedureJIANJUN CHEN; DAWEI ZHAO; ZHENGGE HUANG et al.Computers & structures. 2011, Vol 89, Num 5-6, pp 455-466, issn 0045-7949, 12 p.Article

Application of two test generation tools to an industrial case studyCAVALLI, Ana; MAAG, Stephane; MALLOULI, Wissam et al.Lecture notes in computer science. 2006, pp 134-148, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 15 p.Conference Paper

A differentiation-enabled fortran 95 compilerNAUMANN, Uwe; RIEHME, Jan.ACM transactions on mathematical software. 2005, Vol 31, Num 4, pp 458-474, issn 0098-3500, 17 p.Article

MPL : A multiprecision MATLAB-like environmentSCHREPPERS, Walter; BACKELJAUW, Franky; CUYT, Annie et al.Lecture notes in computer science. 2005, pp 295-303, issn 0302-9743, isbn 3-540-26032-3, 3Vol, 9 p.Conference Paper